#include<stdio.h>

void printTime(int hour, int mintue);

int main(int argc, char* argv[]) {
	printTime(16, 4);	
	return 0; 
}

void printTime(int hour, int minute) {
	printf("时间: %d:%02d\n", hour, minute);
}
